M. Pientka : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (286)
Les plus populaires
Liste
- Liste
- Tableau

1

First-principle calculations of the Berry curvature of Bloch states for charge and spin transport of electrons

Gradhand, M, Fedorov, D V, Pientka, F, Zahn, P, Mertig, I, Györffy, B L

Journal:

Journal of Physics Condensed Matter

Année:

2012

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2012

2

Texte zum Rechts- und Wirtschaftsleben || Texte aus Emar

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 189 KB

2019

3

Texte zum Rechts- und Wirtschaftsleben || Einleitung

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 68 KB

2019

4

Texte zum Rechts- und Wirtschaftsleben || Zeittafeln

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 132 KB

2019

5

Texte zum Rechts- und Wirtschaftsleben || Sumerische und akkadische Texte des 3. Jt. v.Chr.

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 234 KB

2019

6

Texte zum Rechts- und Wirtschaftsleben || VI. Sabäische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 179 KB

2019

7

Omina, Orakel, Rituale und Beschwörungen || I. Texte aus Mesopotamien

Hecker, Karl, Jördens, Andrea, Klinger, Jörg, Koch, Heidemarie, Müller, Matthias, Multhoff, Anne, Neumann, Hans, Niehr, Herbert, Peust, Carsten, Pientka-Hinz, Rosel, Quack, Joachim F., Rose, Miriam-Re

Année:

2019

Langue:

german

Fichier:

PDF, 5.41 MB

german, 2019

8

Calculating the Berry curvature of Bloch electrons using the KKR method

Gradhand, M., Fedorov, D. V., Pientka, F., Zahn, P., Mertig, I., Györffy, B. L.

Journal:

Physical Review B

Année:

2011

Langue:

english

Fichier:

PDF, 582 KB

english, 2011

9

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

Felty, Amy P., Momigliano, Alberto, Pientka, Brigitte

Journal:

Journal of Automated Reasoning

Année:

2015

Langue:

english

Fichier:

PDF, 10.44 MB

english, 2015

10

Texte zum Rechts- und Wirtschaftsleben || Der Vorfall des Rawer

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 100 KB

2019

11

Texte zum Rechts- und Wirtschaftsleben || Texte aus Alalaḫ

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 182 KB

2019

12

Texte zum Rechts- und Wirtschaftsleben || Hungersnotstele

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 145 KB

2019

13

Texte zum Rechts- und Wirtschaftsleben || Rechtskodex von Hermupolis (P. Kairo JE 89.127-30+89.137-43)

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 218 KB

2019

14

Texte zum Rechts- und Wirtschaftsleben || Neubabylonische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 225 KB

2019

15

Texte zum Rechts- und Wirtschaftsleben || Altbabylonische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 173 KB

2019

16

Texte zum Rechts- und Wirtschaftsleben || Texte aus Ugarit

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 192 KB

2019

17

Texte zum Rechts- und Wirtschaftsleben || Texte aus Mari

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 100 KB

2019

18

Texte zum Rechts- und Wirtschaftsleben || Texte aus Nuzi

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 135 KB

2019

19

Texte zum Rechts- und Wirtschaftsleben || Neuassyrische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 186 KB

2019

20

Texte zum Rechts- und Wirtschaftsleben || Altassyrische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 164 KB

2019

21

Texte zum Rechts- und Wirtschaftsleben || Abkürzungsverzeichnis

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 70 KB

2019

22

Texte zum Rechts- und Wirtschaftsleben || V. Hebräische, aramäische und phönizische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 341 KB

2019

23

Texte zum Rechts- und Wirtschaftsleben || IV. Texte aus Iran

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 311 KB

2019

24

Texte zum Rechts- und Wirtschaftsleben || Mittelassyrische Texte

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 114 KB

2019

25

Omina, Orakel, Rituale und Beschwörungen || II. Texte der Hethiter

Hecker, Karl, Jördens, Andrea, Klinger, Jörg, Koch, Heidemarie, Müller, Matthias, Multhoff, Anne, Neumann, Hans, Niehr, Herbert, Peust, Carsten, Pientka-Hinz, Rosel, Quack, Joachim F., Rose, Miriam-Re

Année:

2019

Fichier:

PDF, 361 KB

2019

26

How many and which items of activities of daily living (ADL) and instrumental activities of daily living (IADL) are necessary for screening

Bernd Roehrig, Klaus Hoeffken, Ludger Pientka, Ulrich Wedding

Journal:

Critical Reviews in Oncology/Hematology

Année:

2007

Langue:

english

Fichier:

PDF, 112 KB

english, 2007

27

Gas transport properties of polybenzoxazinoneimides and their prepolymers

G. Polotskaya, M. Goikhman, I. Podeshvo, V. Kudryavtsev, Z. Pientka, L. Brozova, M. Bleha

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 194 KB

english, 2005

28

The effect of time-to-surgery on outcome in elderly patients with proximal femoral fractures

Rüdiger Smektala, Heinz G Endres, Burkhard Dasch, Christoph Maier, Hans J Trampisch, Felix Bonnaire, Ludger Pientka

Journal:

BMC Musculoskeletal Disorders

Année:

2008

Langue:

english

Fichier:

PDF, 254 KB

english, 2008

29

Polymer membranes modified by fullerene C60 for pervaporation of organic mixtures

Polotskaya, G.A., Penkova, A.V., Pientka, Z., Toikka, A.M.

Journal:

DESALINATION AND WATER TREATMENT

Année:

2010

Langue:

english

Fichier:

PDF, 256 KB

english, 2010

30

Synthesis and Characterization of Polybenzoxazinone and its Prepolymer Using Gas Separation

Pientka, Zbyněk, Brozova, Libuše, Pulyalina, Alexandra Y., Goikhman, Mikhail Y., Podeshvo, Irina V., Gofman, Iosif V., Saprykina, Natalia N., Polotskaya, Galina A.

Journal:

Macromolecular Chemistry and Physics

Année:

2013

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2013

31

Angeschmiert! Die Entweihung einer nadītum-Priesterin

Pientka-Hinz, Rosel

Journal:

Altorientalische Forschungen

Année:

2009

Langue:

german

Fichier:

PDF, 98 KB

german, 2009

32

Higher-order term indexing using substitution trees

Pientka, Brigitte

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 467 KB

english, 2009

33

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

Pientka, Brigitte

Année:

2008

Langue:

english

Fichier:

PDF, 261 KB

english, 2008

34

Contextual modal type theory

Nanevski, Aleksandar, Pfenning, Frank, Pientka, Brigitte

Journal:

ACM Transactions on Computational Logic

Année:

2008

Langue:

english

Fichier:

PDF, 296 KB

english, 2008

35

RARE CASE OF SAW PALMETTO INDUCED COMPLETE HEART BLOCK

Jipescu, Daniel, Patel, Aman, Bohra, Hema, Pientka, Amanda

Journal:

Journal of the American College of Cardiology

Année:

2017

Langue:

english

Fichier:

PDF, 350 KB

english, 2017

36

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - POPLMark reloaded: mechanizing logical relations proofs (invited talk)

Pientka, Brigitte

Année:

2018

Langue:

english

Fichier:

PDF, 358 KB

english, 2018

37

Improved Hydrogen Separation Using Hybrid Membrane Composed of Nanodiamonds and P84 Copolyimide

Pulyalina, Alexandra, Polotskaya, Galina, Rostovtseva, Valeriia, Pientka, Zbynek, Toikka, Alexander

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 2.61 MB

english, 2018

38

A case study in programming coinductive proofs: Howe's method

MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVID

Journal:

Mathematical Structures in Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2018

39

Osteoporosis in the elderly

Friedrich,, Pientka,

Journal:

Therapeutische Umschau

Année:

2002

Fichier:

PDF, 41 KB

2002

40

Teaching the art of functional programming using automated grading (experience report)

Hameer, Aliya, Pientka, Brigitte

Journal:

Proceedings of the ACM on Programming Languages

Année:

2019

Langue:

english

Fichier:

PDF, 662 KB

english, 2019

41

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A Type Theory for Defining Logics and Proofs

Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, Rebecca

Année:

2019

Langue:

english

Fichier:

PDF, 408 KB

english, 2019

42

Texte zum Rechts- und Wirtschaftsleben || Der Turiner Streikpapyrus (pTurin 1880)

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 2.58 MB

2019

43

Texte zum Rechts- und Wirtschaftsleben || VII. Griechische Texte aus Ägypten

Hecker, Karl, Jördens, Andrea, Jursa, Michael, Koch, Heidemarie, Kottsieper, Ingo, Müller, Matthias, Nebes, Norbert, Neumann, Hans, Niedorf, Christian, Peust, Carsten, Pientka-Hinz, Rosel, Radner, Kar

Année:

2019

Fichier:

PDF, 299 KB

2019

44

Genetic versus demographic stock structure of rainbow smelt in a large fragmented lake

Euclide, Peter T., Pientka, Bernie, Ellen Marsden, J.

Journal:

Journal of Great Lakes Research

Année:

2020

Fichier:

PDF, 1.16 MB

2020

45

Omina, Orakel, Rituale und BeschwÃ¶rungen || VII. Griechische Texte aus Ãgypten

Hecker, Karl, JÃ¶rdens, Andrea, Klinger, JÃ¶rg, Koch, Heidemarie, MÃ¼ller, Matthias, Multhoff, Anne, Neumann, Hans, Niehr, Herbert, Peust, Carsten, Pientka-Hinz, Rosel, Quack, Joachim F., Rose, Miriam

Année:

2019

Fichier:

PDF, 25.50 MB

2019

46

Pervaporation and gas separation membranes made from polyimide/polydimethylsiloxane block copolymer

Jan Schauer, Petr Sysel, Vladimír Marous̆ek, Zbynĕk Pientka, Jir̆í Pokorný, Miroslav Bleha

Journal:

Journal of Applied Polymer Science

Année:

1996

Langue:

english

Fichier:

PDF, 404 KB

english, 1996

47

Gas separation properties of ultra-thin films based on fully cyclized polyimides

Miroslav Marek Jr., Eduard Brynda, Zbyněk Pientka, Libuše Brožová

Journal:

Macromolecular Rapid Communications

Année:

1998

Langue:

english

Fichier:

PDF, 462 KB

english, 1998

48

Self-organized formation of low-dimensional network structures starting from a nitrocellulose solution

L. V. Govor, I. A. Bashmakov, F. N. Kaputski, M. Pientka, J. Parisi

Journal:

Macromolecular Chemistry and Physics

Année:

2000

Langue:

english

Fichier:

PDF, 280 KB

english, 2000

49

Microporous membranes prepared from blends of polysulfone and sulfonated poly(2,6-dimethyl-1,4-phenylene oxide)

Jan Schauer, Wolfgang Albrecht, Thomas Weigel, Vlastimil Kůdela, Zbynek Pientka

Journal:

Journal of Applied Polymer Science

Année:

2001

Langue:

english

Fichier:

PDF, 449 KB

english, 2001

50

Membranes based on poly[N-(3-dimethylaminophenyl)maleimide]–poly(2,6-dimethyl-1,4-phenylene oxide) blends for gas separation

Jan Lokaj, Zbyněk Pientka, Jana Kovářová, Miroslav Bleha

Journal:

Journal of Applied Polymer Science

Année:

1992

Langue:

english

Fichier:

PDF, 204 KB

english, 1992